fetch:
	wget http://www.omg.org/spec/BMM/20070801/07-08-05.xmi
	mv 07-08-05.xmi fetched/
